perm filename CMMI5.PS[CM,DEK] blob sn#797387 filedate 1985-06-26 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β(↔εbp→
G#λ≤Lf∀  J%b_⊃G &0↓Y F β→f_βXAε⊂↓ Vλ↓@V↓@@f↓↓Ux↓↓ Up↓↓@Up↓↓@Uh↓↓`U`↓αe`↓α UX↓α@UP↓α`UP↓α`UH↓βU@↓β e@↓β@U8∃Bu0↓∧U(↓∧ e ↓∧@e ↓∧`U_↓¬U⊂↓¬ Uλ↓E U↓E@dpβ¬tXεβ!tPεβAt("⊂E∪⊂H!↓P)π
p(εAj`0πAJ`0λ↓J`(	↓J`(	↓JP0	↓JP0	↓JP(	↓JP(	↓J@0λAJ@0λ↓J@(λ↓J@(π↓J1@)F*0(πAj0(λAJ 0	↓J 0	A* (
↓J (
↓J⊂0
↓J⊂0
↓J⊂(
A*⊂(
↓J0
↓*0	A*(	A*(	↓)p0πAI!p%εhT !JfR_⊃¬! XVb⊂8V pHαA%8ββ`0_↓∃ a⊂↓@ 5_β¬ U⊂αFEλαF EαF@DxαG$pβπ$hβπ $hβπ $`β∪dXβ∩`dXβ∩@dPβ∩@dPβ∩@dPβ∩@ah↓∩`Q`↓∩`aX↓∪QP↓∪aH↓∪ Q@↓∪@Q0↓∪`Q_↓T`x↓T@pHα∃α¬8¬⊃(D ⊗d∩λ∧εJ!h+A!P@+↓Ap8+↓B⊂0+↓"00+↓"@(*AB@0*ABP(*A"`0*A"`0*↓B`0*↓B`0*↓"p0*↓"p0)ABp0)AB`8)A"p0)A"p0)↓Bp0)↓B`0)↓"p0)↓"p((AB`0(ABP0(A"`((A"P((↓B@((↓B0((↓" ((↓"0'AAP8%π)!H"QλR@↔H$⊂@⊂∀D¬8αDe0β∧@E0β∧`50αE50αE %(β¬ %(β¬ %(αB` H↓∃ PX↓α % βα` H↓∃`P↓∃PX↓∃PHα∀b5_	∀`PHα∀`PP↓T@`P↓T@`P↓∀@PX↓α@%⊂αB` P↓∀ a0↓∀ a0↓∀ Q0↓∀ Q(↓Ta(↓∀a ↓TQ ↓TQ⊂αS``xβRD∀P⊂⊃(D0∪$∩λ∧πJ!p+A!`0+↓B +↓B⊂_+↓" _+↓"0⊂*AB0⊂*AB0⊂*A"@⊂*A! ⊂∧J@0¬A⊂*↓A⊂⊂*↓! ⊂*↓!⊂_)AA )D*1λ)A! )↓A⊂_)↓A⊂⊂)↓! ⊂)↓! ⊂(AA ⊂(AJ⊂((A*0(↓J((↓)p0%∧)!λ"QλrP~λd!(∧B`∃Xλ↓`∃HβBP ↓∃``p↓@`%(β∧ 0λ↓T`a αT@Q0αT Q@α∀QHα∪`QX↓∪@aX↓∪ a`↓∪ a`↓∪d`β∩`dXβ∩`dPβ∩@dPβ∧B∀Pβ∧B∀Pβε TPβε TPβε TPβεdXβ¬`TXβ¬`T`β¬ d`β¬ dhβ¬Tpβ∧@dxβC@0λα∀!Hα`%_λA@∃0¬Q(D@↔
$∩λ∧∧a)∧a+A"⊂(+↓B0+↓B(+↓"⊂(+↓"⊂(*AB0*AB(*A"⊂(*A"⊂(*↓B0*↓B(*↓"⊂(*↓"⊂()G
1X)A"⊂()A"⊂()↓B0)↓B()↓"⊂()↓"⊂((AB0(AB((A"⊂((A"⊂((↓B0(↓B((↓"⊂((↓"⊂('AB0%∧a%∧a"Q	⊃H∂λ$⊂Hλ∀B∃@αU`e8β∃`U8αU@e0β∃@U0αU e(β∃ U(αUe β∃U αT`e_β∀`U_αT@e⊂β∀@U⊂αT eλβ∀ UλαTdXλ∩B∀("∩CR0⊃λ!Aλ+∧P(.A+@(.↓+@(.↓+0(-A+0(-A+ (-↓+ (-↓+⊂(,A+⊂(,A+(,↓+(,↓*p(+A)0_∧A) (∧↓) (βA) (βA)  βA) _βA)0_αA)@P'↓HT %Lεrλ⊂Bα`ε∀BXε∃`Q_βU@a_αU@a⊂α∃@Q⊂α∃@Q↓U `x↓U `h↓U Ph↓U PX↓U`P↓U`@↓UP@↓UP0β∀``(∧∀``_↓@ e_α@`0⊂βT`Pλ↓A e⊂∧A@u⊂βB u⊂βα`e⊂αCuλββ eλββ uλαC`eλαC`uβ∧uβ∧ eαD@uαD@txβ∧A∧PλαAtPλαAd("∪∧∩@⊂H!↓λ)∧*p(+↓J`0+↓*`(*AJP0*A*P(*↓J@0*↓*@()AJ00)A*0()↓J 0)↓" ⊂)↓" ⊂(AB⊂⊂(AB⊂⊂(A"⊂_(A"⊂⊂(↓B_(↓Ap_(↓!p (↓!` 'AA08%π)!`"Q	S@∨H$⊂@¬εa5⊂¬F!E0βF e0↓ A@βU@ λα¬` λα∃@ ⊂α¬@ λα∃ 0⊂α¬  ⊂α∃ 0⊂α¬ ⊂αU  _α∧` _α∃   ↓D` _α∃0 α∧   α∃0 α∧  αU (α∧  α∃ (αβ` (α∀`00↓C@ 0α∀`00αβ ⊂0αT` 8αβ 0α∀` 8αα` 8α∀@08αα@ @α∀@0@αα  8αT@ Hαα @α∀@ Hα↓` Hα∀ 0Hα↓`⊂Pα∀ 0Hα↓@ HαT  Xα↓ Pα∀  Xα` Xα∀0Xα` Xα∀0Xα@ XαT h↓@  `α∀ hββDx↓C Phα∪@P`αβ TPεB0HπRAPH↓α!t("∪Ec(⊂H!Xπβ* Xπβ*`@λ↓J`@λ@j`⊂AB_+@⊂0λJP_↓↓A`_*@` 8ε@jP⊂α↓AP⊂*@@@8εJ@_αAA0_*``0¬j@⊂βAA ⊂*A0∧@J0_∧↓A_)@a⊂0β@j0⊂¬↓@p⊂)@A00βJ _¬A@P_)a@0αj ⊂εA@@⊂)A`0↓@J⊂_π↓@ _(@ap0@j⊂⊂λα*⊂⊂λB
_	↓j_	↓j⊂
↓*⊂
↓)p_
A	`(
↓	 hλ@I hλ@HT 'JFB_⊃¬!∃Xλ⊗p@β∃`PpαU QλαT`Q αT@Q0αT Q8αTQ@β∪`QPαS@aPβ∪@QXβ∪ aXβ∪a`β∪a`β∩`ahβ∩`ahβ∩`a`βR@ahβ∩@ahβ∩@a`βR@a`β∩@aXβR@aXβ∩@aPβ∩@aPβ∩`a@β∩`a8β∪a(β∪a β∪ a⊂β∪@`xβ∪`pXβ∀ p8βTb¬0∧Q(E∀d∩λ∧ε
!X+A!@8+↓A`0+↓Ap0+↓"⊂(+↓"⊂0*AB⊂0*AB⊂0*A" 0*A"⊂0*↓B⊂0*↓B⊂(*↓"⊂(*↓"()AA`0)AA@0)EJ1_)A* 0)↓* ()↓*⊂0(A*⊂((A*0(↓*((↓)!%∧λT (JFB`⊃¬!∃Xλ⊗p@β∃`PpαU QλαT`Q αT@Q0αT Q8αTQ@β∪`QPαS@aPβ∪@QXβ∪ aXβ∪a`β∪a`β∩`q`β∩`ahβ∩`ahβ∩@q`β∩@ahβ∩@ahβ∩@a`β∩@a`β∩@aXβ∩@aXαR@aPβ∩`QPαR``HαB@T`αAa@αSP0↓A00αS P ↓A@0 αS@P_↓↓`0⊂αS`P⊂↓αuλ∧↓@u_λα@%0∧@ 0P↓_@@↓X@8↓XP αX↓VεX↓Fλ¬_Aε_αQ(E⊂∀L∧"λ∧¬J!H+A!00+↓AP(+↓A`(+↓" +↓"(*AB(*AB(*A"⊂(*A"(*↓B(*↓Ap(*↓!p(*↓!P0)AA00)E*1_)A! 0)↓A@()↓AP()↓!`()↓!`((AA`((AAP0(A!`0(A!`0(↓AP8(↓AP8β@J(π↓`p⊂(↓!`8βip0π↓`P_%∧↓ 8↓@i!¬Bm0"Q
2⊂∀λd!∧α ∃8π↓ ∃(αα @_↓∃0p↓ 5_↓∧ U⊂↓∧`5⊂↓∧`5λ↓¬5λ↓¬5↓E%↓E%↓TEλα∀ u⊂¬Tae(πV↓U`¬_v⊂αX`V α→D`↓¬@D`↓¬@D`↓¬@4`↓¬ DX↓E 4X↓EDXα∧@DX↓  xαR@ _αB dPAB¬ ¬⊃(E ∀M∧∩λ↓IIR0&A!@(¬A)@ εAA@ &a`0ε@i@⊂πA!`_%@ap(πI0⊂πAA`⊂%@Ap0πI ⊂λ↓!p⊂%B(π@I ⊂πAAp⊂-AK0(-A+ 0-↓K (-↓+⊂0,AK⊂(,A+0,↓K(,↓*p0+AJp(+A*`0'E	a("Q
R0~HD⊂λα!TPλα!TxαD@dxαD`4pβ∧`4pαE$pαD`4pαD`4hβ∧`$hαE$hαD`4hαD`4`β∧`$`αE$`αD`4`αD`4Xβ∧`$XαE$XαD`4XαD`4Pβ∧`$PαE$PαD`4PαD`$Pα¬$Pα∧`4Pα∧`$Pα∧@4Pα∧ 4Xαβ`4Xαβ@4`αα`DhαA`Dxε∀!∧("∃E#8⊃λ xπC	 pλβ	`0↓i`0A	p(@ip(ip(Ip0
J(	@J(	@J(	J0λJ⊂(π@j⊂(π@J⊂(πJ⊂(ε@J⊂0εJ (¬@J (¬J (∧@j 0∧J 0β@J0(βJ0(βJ0(α@J00↓@J@(↓j@(↓J@(@J@8*↓jP(*A
P *@hT +Niα⊂⊂@↓`0λBADPπ↓BXε∪ aλαD`dhβ∧ Q_α∪@Qλβ∧@4pαD a⊂↓S@Q⊂αD $pαD aλ↓∪@Qλβ∧$pββ`px↓∪@`p↓ Px↓∪`Pp↓ `h↓∪`Ph↓@``↓∪`P`↓```↓∪`P`↓``X↓∪`PX↓↓ PP↓∪``H↓↓@PP↓∪``H↓↓@`@↓∀P@↓↓``@TP8↓α`8↓∀P8↓α`0↓∀P0↓α `0T` ↓α`P(↓∀` ↓α`P ↓∀ P_↓β`_↓∀ P⊂↓β `⊂↓∀ P⊂↓β `λ↓∀ Pλ↓β@`λ↓∀!xβT qβ∀ aλβ∀@QλαT@A⊂α∀@1_α∀@!(↓⊃(E@↔M∧∩λ∧Ca h)Ca⊂p,↓ap8,↓ap(,AAp_-↓!`_-↓A@⊂-AA ⊂-AA_.↓@`_.↓@P_.A@0_/↓  _/α+p8/AL00↓Kp@.@`⊂0.`00-@`P(-``0,@a0,a⊂0+@a00+AP0*@Ap0)@b⊂()b 0(↓"00'↓b @%β!Px%β!Px"Q∩X≠H$⊂λπCaDPλβaDxβE txβE Uβ¬ 5β¬5λβ∧@%⊂αD %⊂ββ`%_αC@%_ββ% βα 5 βα5(β↓@5(β↓ 50β`50β@58∧Ua¬@β⊗U@αVE@α∃`U8αU`E8α∃@U0αU@U(β∀α¬πQ(EP∪K$∩λ¬π*Ah*↓Ap8)A"8)@b⊂8)@B⊂8)b8)B8)Ap8(@Ap8(@A`8(@AP8/Ak`8.Ak@8-Ak 8,AK0+AAP⊂+↓A`⊂*AAp⊂*↓Ap⊂)AB⊂)↓B_(AB⊂⊂(↓B⊂_'AB _&Ab _&↓b⊂(%Aap@%πI!p"Q⊃`∩¬b`XαTa⊂⊂↓T P(βT@@β∪`@Hβ∪@@PαS PPαS @XαSPXαSPPαR`PXαR`PXαR@`XαR@`PαR@PXαR@PXαA $PαB`P(↓∩@PPαA $PαB@P(↓∩`@Hβ↓4XαA`p ↓∪P ↓@@@_↓S!  ∧∪``@αQ(F⊂
G$2⊂βA)@P&α*('AIp0'A)p('↓I`0'↓)`(&A@ (&CiP@α@iP0∧i@0∧@i@0∧A	@(¬↓	@(¬↓	00¬↓	00¬↓	0(¬↓) 0¬↓) 0¬↓	 (¬A	 (¬↓	 (¬↓	 (¬i (∧A	 (∧@i0 ∧i0 β@i@ α↓	PH'A(T 1ECa8βe_¬T P0↓T@H↓S`@Hα∪@@HαS PHαSPX↓STXβ∩`TXαR@dPαR@TPαR@TPαD∀Xαβ`$Xαβ 4`αα`4hα↓`TpεT↓∧("→βB ⊃HBp(.αK@H0↓+p0/A+p(/A+`0/↓+`(/↓*P(↓AJ0HA*⊂(αAj ∧↓Ip ∧AI` ¬↓)P(¬↓)P ¬A)@(¬↓I@(¬↓)0(¬A)0(¬A) 0¬↓I 0¬↓) (¬A) (¬A P⊂%↓! 0α@I (¬↓ P⊂%↓! (α@I0 ∧A@@_%A p8αI@(α`  ↓@iPPαα	p0∧↓(T 2E#a8α`U⊂¬∀P(↓S`@@↓S@@H↓S @P↓SPP↓S@P↓R`PHα∩`P0β∩B∀Pπ∩@TPα∩@DPα∩@DPα∧∀X↓C`$Xαβ4`↓B`4h↓A`Tpε∀t("→CA`↔λb@0.α+0 ↓A  ↓A+⊂(↓A+⊂(↓A⊂(αK(,↓+(,↓+(,↓*p((Dj⊃⊂+A*p(+↓*`(+↓*`(+↓*`(*A*P(*A*P(*A*P(*↓*@(*↓*@(*↓*0()A*0()A*0 &@@(%A0 %↓ 0 %↓   %↓  %B	@("QqP∂H"`hβ∃!⊂⊂↓T`` βT@P8β∀ P@β∀PHαS``HαS`PPαS@`PαS@`HαS@PPαS `PαS `PαS PPβ∪ PPαS PPαS PPαS PHβ∪@@HαS@@@β∪`@(∧∀α¬⊂β@UPαV@UHβ⊗ T`↓α`TXαα dPαB TPαBTPα↓`dXπ∪!∀("~βb ⊃HA⊂('αI`H)↓*⊂0(A*⊂((A*0(↓*((↓)p0α↓Ip(↓BIp(@`P('Aa('↓a⊂('↓A ('↓!0('↓!0(&AA0(&A!0(&A!0(&A!0(&↓A (&↓!0(&↓!0(%AA (βI00¬↓ `⊂%A! 0α@I0(¬↓ `⊂%↓A (α@I 0¬↓ @_%↓!@ ↓@i (εB	0_λ↓λT 4Dαb_⊃α`% α∀`U_α∃$8βA DpβS  _α∪  αR` (αR` (αR@ (β∩@ (αR@ (αTUαS`TxαS`TpαS@P(↓∪ P(↓S P(↓∪ @(↓S @(↓∪ @ ↓S@0_↓S`uαQ(FPEER⊂
KP .↓+@ .@Hp8εA
P@*@@ )@@P()@`()@`((@@p((@@p((@@p ,A+⊂(,A+⊂ ,↓+(,↓+ +A*p(+A*p +↓*`(+↓*` *A*P(&@p %AP(%↓ P %↓ @ %↓@ %B)P("Q
1P⊂λd HαSA$p∧T@Uλβ∀ UλαT Uβ∀UαTTxβαTxαAa∧xαA@0 ↓S`P(↓↓ Dpβ↓ (αS@P ↓↓ dpα@` 0αS@P⊂↓α4hβ $h∧∪!∧h¬S`⊂β∪P(αSP(β∩``0αR``0αA@∀XαA@`0R`P0αA@∀Pβ↓@P0R@`8α↓@∀PαB@(R@PH↓A∀X↓CT("≠↓Q ⊃HA(&BIPH(A*0(↓J((↓)p0'AIp('A)`0'↓I`(&AIP0&AIP(&↓I@0&↓I@0%AI00%AI 8%↓@0⊂%↓@0⊂%↓@0⊂%↓ 0⊂%↓ 0⊂%↓ 0⊂%A0λ&↓i` "Q
S_≤Eb` αα``Xβ∪ p8¬↓a$`↓`@ ↓A P ↓A TX↓↓P⊂↓αP⊂↓αTX↓↓Pλ↓α Pλ↓α TXA pPβB@TP↓↓ `Xβα`TP↓↓ `Xβα`TP↓↓`XββUαCP`αTP`αCUαCP`αS``Xβα`TxαCP`αS`P`αCTxαCPXαA@$pβα``XαA@$pαCPXβ↓ $pαCPXαA@$pαCPXαA $hβα``XαA4hαCPhα`4hαCPp∧∪@0p↓D D("≠D∩8E@@ ¬↓IP8βαI@⊂↓A0_αA)0⊂α↓ ⊂⊂∧↓)0⊂α↓a⊂(%@ P0¬↓) ⊂αA!0(%@P(¬A) ⊂α↓A0((↓!0((↓!0((↓!0('AA ('A!0('A!0('A! (βI`0¬↓ `⊂'↓! 0α@I`(¬↓ `⊂'↓! (α@IP0¬↓ @_&A!@ ↓@iP(εB	`_λ↓λT 7F$⊃HC e ¬T@P(α∀ @H↓T@Pα∪`@`↓S@@hα∪ Phα∪ @pα∪Ppα∪Ppα∩`Pxα∩`PpαR@`pα∩@Pxα∩@Ppα∩@Ppα∩@Pp↓R@Phα∩@Ph↓R`@`↓R`PP↓S@H↓S @0α∪A5βQ(G∞λ$↓0αA↓0'↓`@P&@@0 ↓`P &@@8∧↓	@⊂α↓A _& P(¬A	0⊂αA!0 %@@P(¬A	0⊂α↓A0 (A!@ (A!0((A!0((↓A0 (↓!@ (↓!0 (↓!0 'AA0_'A!0 'A!0_'AA⊂_'↓a_'↓ ⊂⊂αA	`(↓α	`(↓A)P0&A)P(&A)@0&↓)@(%αi X"Q∞⊃@⊂λα`XαA 5_∧`EλαA λα∀@8β∪`@@β∪@@PαS PHαS @PαSPPαSPPαR`PPαR`PPαR@`PαR@`PαR@PPαR@PPαR@PPαR@PPαR@PHαR`@@β∩`@8βS@ ↓@ Th∧@ Txα@`U8αU`U0αU@U0αU e(αT!Uπ⊃(G⊂
H"q0α↓↓⊂0&A`PP&@0 ↓@`P %@@@(@A %@@@8∧↓)0λαAA0%@P(∧A) ⊂αA! _%@@0(↓*((↓)p0'A)p('A)`0'↓)`('↓)P0&A)P('hT 9E#18α`e_¬∀ 08↓T X↓∪` X↓S` Pα∪@0Pα∪@0X↓∪@Dp¬∪aEε∀A50∧⊗ T`↓βDXαα`DPαB`DPαB`4Pαα`DP↓B`DXα↓`T`π∪A∀("≥α1@⊂πa0⊂*↓
0()A*0 )A
 ()↓*  )↓	!⊂%∧J⊂((A
((↓*((↓	p('A)p('A	`('↓)`(∧I` ∧IP(∧IP(β@IP(β@IP(βI` αipH(A(T :H∧a8↓ TpβC 4h↓↓0XαS (αα@TX↓↓@@Hβ∩` 0αα TP↓↓@PHαR@ 0αB TP↓↓ PPαT PHαT PHαTPPαTPPαTPHαS`PPαS`PPαA $xαB@P(↓∪`PHαA $xαB P(↓∀@HαA5αα` ↓∀ @(↓@ @_↓TA _∧∃`8αQ(G0Gbq0αA!0_'↓a⊂(&@@@_∧↓)@⊂αAp(%@@` ∧↓	0⊂β↓↓⊂_%@`(∧@i ⊂β↓!⊂_%@P(¬J⊂(¬J⊂(¬J(¬@J(¬@J(¬Ip(¬@Ip(¬ip(¬Ip(∧@ip(∧@J ∧j β@j⊂ α@j P*↓HT ;IeQ8↓ QH↓S@p`↓BTh↓↓0PαA`T`↓↓ @HαA`TX↓↓@@HαBDX↓↓@@@αB@4P↓↓@P@αB@4P↓↓@P@αB@4P↓↓ PHαB@%λαB`P↓∀ P@αB`%αB PX↓∀PHαB`%αB`P↓∪`PHαB`$xαB PX↓∪`PHαB@$xαB PP↓∪`PHαB %αα PH↓∀P8βα%λαA  ⊂α↓ 5⊂¬↓↓% βαd("≡β"E@`(∧A	`HαAiP_α↓0⊂αi@⊂βA⊂⊂α↓	0⊂∧↓@@(%@A0↓AI ⊂∧A @(%A⊂(α@i ⊂∧A*@0*↓*@(*↓*0()A*0(¬I@⊂αA↓0⊂%A@ ¬I (↓A! ⊂%↓ 0(∧@I  ↓@@⊂_∧I ⊂α@0_α@i00αB)@ ∧↓(T <Fd∩λ↓ TpβC4h↓↓0PαS (αα TX↓↓@@@β∩` 0ααTP↓↓@P@αR@ 0αBTP↓↓ PHαT P@αT P@αTPHαTPHαTP@αS`PHαS`PHαS`PHαS`P@αS`P@αS`P@αT@8β∀P βT!u_β@UPαS@0HαS P@α∪ P8αS P8α∪ @8α∪ 08α∪@ (αSa∃β⊃(GPGBq0¬↓↓⊂⊂)↓`p⊂(B P_(α`0_'D)p⊂∧↓I`⊂εK0⊂-K⊂⊂+@j`⊂*@J@⊂)j⊂⊂ε@J⊂πIp⊂πI`8∧↓	Q_&`@`%@``P%a@%A ("Qα ∃H$⊂@∞∀CE8αC U0ββ`50ββ`50αD50αD %(β∧ %(β∧ %(αD@%(αD@% β∧@% β∃U αT`e_β∀`U_αT@e⊂β∀@U⊂αT eλβ∀ UλαTeβ∀UαS`dPλRB∀("%S_⊃Hc`_3A`(2Al@@1@`⊂(1@@ 01@000@@P00`P0/@`p(/a0.@a⊂0.@A0(.A@0-@AP0-a`(,@ap0,b0+@b (+@B00+B@0*@B`0*b`0)@bp0)c⊂0(@c 0(@C@((CP0'@C`0'cp(&@d0&
I2X%K	"h"Q"P~λd!(∧Vb¬@βBe8αC@U(αD U_αEU⊂αE@UλαE`UαFdxαF@Tpβε@dpαF`dhβε`d`βπd`β`!λ↓↓dXβ@`!λ↓↓dXβ↓αP β∩``_
A dPβ@bP β∩@` 
AdPβ↓!λ↓↓dPβ`!λ↓↓dPβπdPβε`dPβε`TPβε@dXαF@TXβεT`αE`T`αE@ThαETpαD TxαC@Uλβαu_λ∃A∀("dRP⊃Hc ⊂1A0 1↓,⊂00AL8/Bp⊂A+`⊂↓↓K`⊂↓↓KP⊂α↓+@⊂αA+@⊂αA+0⊂β↓+ _β↓+ ⊂βAK⊂⊂∧↓K⊂⊂∧↓K⊂¬↓*p⊂¬A*p⊂¬A*`⊂ε↓*P_ε↓*P⊂εAJ@⊂π↓J0_πA*0⊂λ↓* ⊂λA* ⊂λA*⊂⊂	↓*_	↓Ip 	↓IP8λAI0X¬CI `¬βhT α
¬rλ⊂B∧¬⊂⊂∀D¬λ⊂T !h↓∀!p↓∀!p↓∀!p↓⊃`0X↓∧@% ↓∧@% ↓∧@% ∃αe_∀be_↓∧@%_↓∧@%⊂↓∧@$8α !p↓∩`!p↓∩`!h↓∩`!h↓∩`!`↓RD∀P⊂RD∧P⊂⊃(@(↔
$∩λ∧	J"0+A"⊂(+↓B0+↓B(+↓"⊂(+↓"⊂(*AB0*AB(*A"⊂(*A"⊂(*↓B0*↓B(*↓"⊂(*↓"⊂()AB0)AB()A"⊂()A"⊂()↓B0)↓B()↓"⊂()↓"⊂((AB0(AB((A"⊂((A"⊂((↓B0(↓B((↓"⊂((↓"⊂('AB0%∧a%∧a"Qb`→λ$⊂@∩∀DE_β¬!¬_βE`U βE`E(βε5(βE`50β¬`50βE`%8βE@%@β¬@%@βE %Hβ⊗ uPβ⊗`eXβWe`α↔5Pα⊗ 1(↓⊗10↓∃@A0↓∃ 1@↓∀`A@↓∀@1H↓T 1Hα∪`AHα∪@1PαS 18∧∩dDP∩RDD("↓e∪0⊃λ@p0	↓I`XπαIPh¬C)@x∧CI0 β↓A0αA)0⊂¬↓ `(∧@i ⊂ε↓P εI ⊂εA0 ε@I ⊂εA0_πK⊂ ↓k _A _@k 0-↓K (-↓+ (,A+⊂(,A+0,↓K(,↓*p0+AJp(+A*`0+↓J`(+↓*P0'DIa_"Q↓α0_λ$⊂p	Vα5xαW@epβ↔@UPε∃B5_∧@`λβT p(αA dxβA`P0β∪@`@β↓`dhβα `8β∪`PαB dXβα`PHβ∩``Pβα dPβα``Hβ∩@`XαB@dPβα`PHβ∩@`Pβα dPβα@`@β∩``HαBdXβα P8β∪`8β↓ thβ↓@`_βS`p_α@!¬λ	U↓E@β⊗U@αU`eλ	∀α4("α%∪0⊂H!A_+∧kP(.↓K@0.↓) (εA!@0%↓a 0¬α	@0∧AA⊂0&A!⊂(∧AIP(∧A!0&A!0∧↓IP(∧↓@p0&A!(∧↓IP(∧↓!(&A↓0βAIP ∧↓@p0&A↓(βAIP ∧↓ p0&Ap0β↓IP βA@`0&A `(β↓I` β↓ P0'↓ @0α↓Ip(↓A@ 8(↓@⊂(Aj!*BJ`0+↓*`(*AIq⊂'∧hT ¬
F"⊂⊃¬↓5P	⊗p@βU@`pβ∃aλβ∀@a β∀ a0β∀a8β∪`aHβ∪@qHβ∪@aPβ∪ qPβ∪ aPβS aPβS aPβ∪ aHβS aHβ∪ a@β∪@Q8βS@a0β∪`Q(β∪`Q β∀A_β∀Q⊂αT Aλα∀ Aα∩@ 0↓C`@0↓∩@ 0↓C`08↓∩@ 8↓C 08↓∩@ 8↓C 08↓∩@ 8↓C08↓∩A@`ε∩A@Xε∩A0`ε∩A0`¬Q(@X⊃
Bq0ε↓J@P)↓` (↓↓⊂ ∧@Ip ¬A↓⊂'↓↓@(βIP(ε↓ `⊂&↓!`(αI@(π↓ @⊂%AA`(↓@I0(πA 0⊂%↓Ap(↓I 0πA  ⊂%↓"⊂8%↓"⊂0%↓"⊂(%↓"⊂(%↓"⊂(%Aα0%A!P_AP⊂&↓↓0 ↓↓ @λ&A `(αA0⊂'β!8(α↓@("Q↓Bλ∩K$1(βW!5Xα↓@EH↓B@E@↓B`E8↓β U0↓β@U(↓β`U ↓∧U ↓β`e_↓∧U_↓∧U⊂↓∧U⊂↓∧E⊂↓↓AUλ↓↓AUλ↓↓AUλ↓↓aλα∀ !αT!⊂α∀!⊂αT!⊂αT!⊂αS`!_αS`!_αS@1⊂β∪@1⊂β∪@!_αS@!⊂β∪@!⊂αS@!⊂αS AαS Aα∪  λ↓β@Dh↓@ `α∪  α↓`D`↓↓A4`↓αt`↓∩`$X↓∩`$X↓∩@$P↓∩@$("β#r0⊂EA⊂0(BA@⊂'CA ⊂'∧↓⊂⊂&D@p⊂&↓!⊂0βI@⊂π↓`⊂%@B⊂_α@)0⊂	@@⊂%B@⊂↓@L⊂↓@L⊂⊂@L⊂⊂@L⊂⊂@L⊂ 1l _1l ⊂1L ⊂1L⊂_0@l⊂_0l_0l_/@kp_/@kp⊂/@HT π¬cr(⊃C@e0∧U @ ↓U08↓T`0H↓∀@5⊂↓T Eλα∀ UλβT!¬⊂∧Ta∃_¬∀!Uα↓dxα↓@dpααThαB D`αB@D`αB`4XαC4XαC4XαC4Pββ$PαC $PαC4PαC$PαC$PαB`$PαB`$Xαα@$XαB $`αα$hα↓ 4p¬∀d("βb!X¬!08)αJ '@i`_&@i@ &i0 %Ci!%↓	  %↓	  %↓	0_%A	@_&@a λ'↓`_'Bj⊂8"Qα↓(∞Iβ⊂pU`%8↓∃`%8βU↓5⊂α@ uαATxα∪@Dhα∪D`α∩`DXα∩@TPαR@TPβ∩@dXβ∩a∧`∧S!$p¬∀↓∃λ∧T`u β∃ U(αU U(α∃ D`↓A D`¬S`d("∧#B⊂⊂E@@ ¬↓IP8βαI@⊂↓A0_αA)0⊂α↓ ⊂⊂∧↓)0⊂α↓a⊂(%@ P0¬↓) ⊂αA!0(%@P(¬A) ⊂α↓A0((↓!0((↓!0((↓!0('AA0('A!0('A!0('A!0('↓A0('↓!0('↓!0('↓!0(&AA0(&A!00&A!0('a@(.A+P(.↓+@(.↓+@(-A+0(-A+@_"Qα!8⊂	∧0pαUA¬ α↓5_α↓ E⊂α↓`5λαα5αBEαα DxαB DpαB@DpαB@Dhβα@DhαB`DhαB@T`βα@T`βα@T`αB`DX
RbTX
R`PXα∩@`PαR@`PαR@`Pα∩@PXα∩@PPαR@PPα∩@PPα∩@PHα∩@PH↓R@P@α∩`@@↓R`@8↓R`P(↓S@ ↓S!∀pβ⊃(A_λ¬Bq0βip('A)p('↓)`('↓)`(&A)P(&A)@0&↓)@(&↓)0(∧I0(∧I 0β@I (∧I (β@I (βI0 αi@H'↓(T 
π$18↓@4xαCDxαB@tpβα↓∀pαB0⊂α∪@P0↓A $pαA $hβ`4hα@@Dh∧S!D`λS`(βSPHαSPPαSPPαR``PαA@∀XαB@`0R`PPαA@∀XαB@P0R@`Xα↓@∀PαC@(R@Ph↓A∀X↓DT("¬#b ⊃H@P8'B* 8)AJ@0*↓J@8*AJP8+↓J`0+AJp0,↓K0,AK⊂0-↓K 0-↓k⊂@+A⊂0+↓ 0*A@(*↓P0)A`0)↓↓0(A↓⊂0'A!00'↓!@0&AAP0&↓A`0%AB0%↓B⊂0%↓"00%@bP("Qαb∩λ"`@↓T P`↓T PXαT PXαTPXβ∀PXαTPXαTPXαS``XαS`PXαS`PXαS`PXαS@`XαS@PXαS@PXαS@PXαA $pαB`P(↓∪ `PαA $hβα@P(↓∪ `Hβ↓4hβαp ↓∪↓(↓@@@_↓S↓p ∧∪P⊂βαT`αR`dXαR`TXαR`TPαR@TPαR`4("¬c2λ¬@`(εi0P¬A)0Hε↓)p(¬AI`0¬A)`0¬A)`(¬AI`(¬A)P0¬↓IP0¬↓)P(¬↓)P(¬↓)@0∧A)@0∧↓)@(∧↓)@(βA)00β↓)00α↓)0(α↓)0(↓↓) X%α	 ("Qβ↓8∂KD0pU`58↓∃`%8↓∃a∃(ε∀aeλβ@uαS`TpαS@ThαS ThαS ThαS@P⊂∧∪auπ∪adp↓S 4`↓S4X↓R`4Pα∩@DPα∩@TPβ∩`tX¬∪↓Dhπ∪Auπ∀aE0∧V eXα⊗`5_↓A 5_¬∃@d("ε$α0¬ q@'Fia`&G	@ β@@P⊂%@a⊂α@I _∧@@P⊂%A ⊂α@JP_α@JP⊂βJ@_α@j@_α@j0 α@j0_βj  β↓
  β↓
⊂(β↓
⊂ βA*(βA*(βAIp(∧A)p(∧A
_¬@HT 
εCbλβ`e8¬∃ P α∃@8α∀`@H↓T@@Pα∀ PPα∀ @Xα∀PXα∀PXα∪`PXαS`PXαS`PXα∪@`Xα∪@PXα∪@PXα∪@PX↓S `Pα∪ PX↓S `H↓S `@↓S p(α∪P⊂∧∪P_αST`αR`dXαR`TXαR@dPαR@TX↓Q(AX∂Iba(¬Dj10(F
↓@'A@`('↓!⊂ &A! (&↓!0(&↓!0(%A!@(%A!@(%A!@(%↓A00%↓!@(%↓!@(%↓!0(%↓!0(%A↓0 %A↓  &↓↓ &AP('αj0"QβAh⊃EBP8
Sc∧pS#∀`αα$X↓B 4P↓B@4P↓α`50↓U@50↓U E(α∃ E α∃E α∀`U_αT@e⊂αT@U_↓Q(Ah∞Hbq0αA!p_'↓aP(&@@@_ε↓)@⊂αA↓0(%@@` ε↓	0⊂β↓↓P_%@`(ε@i ⊂β↓!P_%@P(πJ⊂(πJ0πJ(π@J(πIp0πIp(πIp(πIp(ε@Ip(ε@Ip(εJ ¬@J(∧@J⊂0α@j `*AhT ∂λ¬αh⊃¬ %x↓↔`%p↓↔@%p↓↔@%h↓↔ %h↓↔ %H∧U!u_β@@ _αT@P(↓↓ EαA@ 8α∪`P8↓↓`TpαB @α∪ PH↓αT`βα HαSPH↓α TXαB@ HαR`PP↓α TPβα  PαR@PP↓α dPαB@ HαR@PP↓α TPαB  HαR@PH↓α TPαB  @αR`@H↓αDXαA` @α∪@8↓↓`Dhα↓@ (α∪@P ↓@eπTa¬0↓∃@%(↓∃ %(↓∃ % ↓∃% ↓⊃(Ax⊂	d⊃0↓Ai0P	@I _↓AB⊂_%@P(λj⊂0πj (ε@j 0¬@j 0¬j00∧j00β@j@0α@j@0αjP0↓jP0@j`@+↓jp0+AJp8+α
P_AJ@_↓↓J0_α↓J _αAJ⊂_βAJ_∧↓Ip_¬↓I`_¬AIP_εA)@_π↓I0_λ↓ P⊂%b⊂0↓@i ⊂	BL8"Q∧α ∃$!H↓_`&⊂↓_@&⊂↓_@&λ↓_ &λ↓_ &↓_$xαC @↓S@pX↓↓`Th↓↓0H↓αT`↓↓ @@↓αTX↓↓@@@↓α DX↓↓@@@↓α@4P↓↓@P8↓α`4P↓↓@P8↓α`4P↓↓ P@↓α`%λαB X↓∀P@↓β%αB `↓∀P@↓α`$xαB  X↓∪`P@↓α`$xαB X↓∪`P@↓α@$xαB H↓∀@8↓α %αA@ 8↓T P(↓↓ E⊂β@@ _α∃↓e8∧V@%P↓⊗ %H↓⊗ %H↓⊗%@↓⊗%@↓⊃(Bλ⊃JBq0∂@j⊂↓)p_↓)p⊂A)`⊂A	P⊂
@i@_
@i@⊂∞i0_ε@AP⊂%@a@ εI0⊂ε@ ⊂⊂εI _ε@⊂⊂εI _ε↓↓@⊂%a@ εI _εa@⊂%a@_¬@i  ¬↓↓ _%↓↓⊂(∧↓) (βαP0%G	0h↓β	@X↓BiPHαB	p(∧↓HT ⊃¬cq8αA∃λπ∪b$pβαThαβ $`↓S$`↓∪$`↓@`dhε∪A4h¬S$X↓∩`∀P↓∩@$P↓∧ ∀P↓C`$Xαα@D`λ∪!e∧⊃(B_⊂	DB_
↓+@@-@`@_-@` ,@A_,@A_,@!⊂ ,A⊂ ,A⊂ ,A⊂ ,A⊂ ,A⊂ ,@A '↓p_β↓)P8β↓@(&@0 β↓  (%@@@(βB)0⊂α↓!⊂@%@ P(¬B) ⊂αA!0(@i ⊂αA!0 %@P(¬↓*⊂ ¬A*(¬A
(¬A
(¬↓*(¬↓	p(¬A	p(¬↓	p(¬ip(∧A	p(∧@ip(∧ip(β@j(α@j⊂X)AhT ∩εa0
Ae∧x∃SEDh⊗∪@ ↓π@$X↓A 1p↓∩@00↓π`$P↓↓@ x↓β`%⊂↓β@!↓∀  x↓∧%λ↓β@1↓∀ ⊂x↓C`%↓β@@x↓∀ pαβ@%↓β Pp↓∀ `↓@  h↓∀ Xα 0X↓T0@α@@0Hα∀@(β↓00αT!P(εT!@8¬TA⊂P∧∀``hαQ(B(πD↓0εAJPP)A @ )↓p (A↓⊂_(↓↓  'A!  'A!  '↓!0 '↓!0 '↓! (&↓A0(&↓A0 &↓A0 &↓!0 &↓!0 &↓!0_%AA  %AA _%AA⊂_%@@⊂ β@i0λ↓A@ %@@H%@`(%I ⊂%I  %∧I1⊂&∧)`x-@HT ∪¬Cq`β↓¬_εT P0α∪`@P↓∪@4h↓S4`↓R`4X↓R@DPα∩@DPαR@dXβRa$`¬S!Txε∀!5_∧U@e@α⊗5@↓T@ _↓T@u_α⊃(B8∩∧⊃0↓Ip⊂πBI`⊂πβ)P⊂πβiP⊂εA p(&AP ¬@i@⊂εa`_%@A@_λI0⊂εB⊂⊂%@A0⊂	I ⊂εB ⊂%A0⊂	@I ⊂¬@B ⊂%A ⊂	@I ⊂¬B ⊂%a_λ@i0⊂∧b_%@`p⊂πA	@ αaP(&BA⊂@'ε
↓()∧*0`)↓
  )↓
⊂((A*⊂((↓*((↓*⊂_"Qλ↓p∪	∧0h∧∃↓U_α↓`U⊂↓B`Eλ↓C Eλ↓C@EαC EαC@EαC@Eαβ`Eλ↓∧V_αU@p0αTa@ αTA`_αTp0α@TxαB` λβ∪@Ph∧∪ PpβS`xβ∪Qβ∩`aαR`aαR`QλαR@aαR@aαR@Qλα∩@QαR@Qα∩@PxαR`@xα∩`@pα∪@`α∪ 0PαS@@0αSaUλ∧⊃(Fε$R_λ↓⊂0,`0⊂+@`@⊂+↓@⊂+`P⊂*AP⊂*↓P_*↓P⊂)A P⊂)A`⊂)AP⊂)↓ P⊂)↓ @⊂(A @_(A @⊂(A 0_(↓ 0_(↓ 0⊂(↓  _(↓ ⊂_(↓⊂_'B	p8'AIp('A	p &AI@8%@`⊂ %`  ¬@*_¬J_∧j βj⊂_α↓
 @)A(T =Dαa8↓ DpβS  _α∪  αR` (αR` (αR@ (β∩@ (αR@ (αTUαS`TxαS`TpαS@P(↓∪ P(↓S P(↓∪ @(↓S @(↓∪ @ ↓S@0_↓S`uαQ(G`¬$⊃0π↓
`@*@`0 *@P()@@`()@p()@p((@A((@A -↓+ (-↓+  ,A+⊂(,A+⊂ ,↓+(,↓+ +A*p(+A*p +↓*`(&A %A`(%↓ ` %↓ P %↓P %BIP0"Q∂R∀λ"`@↓∀Dx↓βtp↓αADh↓α P0α∪  @↓B@D`↓↓`0hα∩`00↓β`DX↓A !αR` (↓∧ TP↓A!⊂αR@0_↓∧`TP↓@`⊃_β∩@0⊂↓∧`dP↓@ ! αR@`8CTXα↓@@PαR`P(αα@T`αA0Xα∪`_↓B@D`β@@0Hα∩` ⊂α@@@(αR` _α@A4X↓↓P_β∩@ 0α∩@ 8↓R@ 8↓R@ 8↓R@ 8↓∩@ 0↓R@ 0↓∩@0 ↓∩`t`α⊃(Gp
	a" 
+P_.A` %ε)!P%ε+@(-A+0_.(T ?GEp0⊂BAE
∪C∧`βC tXα¬ DP↓F $P↓ε@$("β↓pEA@(β	`(β↓)P ¬↓	@ ε↓	@ ε↓	0 π↓	0 π↓	 (π↓) (π↓) (π↓) (π↓) (π↓) (π↓) (π↓) (π↓)0 π↓	0 π↓	@ ε↓	@ ε↓	P ¬↓	`(β↓*`)αλT _E#Q0α`%λβ∩ATPβ@ U⊂αT@U⊂αT@U⊂αT@U⊂αT@U⊂αT@U⊂αT@U⊂αT@U⊂αT@U⊂αRBTP
Q(C⊂πBa0βαIQ&a⊂8%@A`(%ap(%↓↓p(%↓↓p(%@B(.A+P(.↓+0(,AK(+↓
@ )↓↓ ⊂(@a@⊂'@aP⊂&E	10%¬I!0"Qε1@∂λ"`8∧SAdhααT`↓β DXαβ DXαCTXαCTXαCT`↓C U`αV`UXαV@UHαU`eλ¬∀!¬@α⊗@EXα⊗`U`αWTX↓C@dPαC dPαC dPαC dPαβ@TX↓β@dX↓C T`αα@ThαA@dxεT!∧("
β!x⊂Eb⊂_-↓⊂(,A+0+Aj`@*@`⊂(*@@ (*@0()@`0()`@((@`P((@@`((@p('@A('a(&@a⊂(&a (&A0(%@A@(%a@(%εI!P,A+⊂(,A+⊂(,A+⊂(,A+⊂()D*1λ"QεQ@∂λ"`_↓β@$hαBThλS"∧hπS!Th↓ th↓∪ $h↓∪ $h↓∪   βS  ⊂¬S `0αS @Pα∪ 0`α∪  hαW Ehα↔ UhαR`0xαR@PpαR@PpαR@PpαR@Ppα∩@@pαR` xα∩`0hα∪0Xα∪ P0αSAUλβQ(C0πD∩ε↓j0`(A@p⊂(↓! 'A↓⊂('↓↓ (&A↓0(&A↓0(&↓↓P_&↓	0(%AP8%A0X%↓  h%↓ ⊂ αAI @∧A) 8¬A	 0ε↓) 0εA	 (π↓) (π↓) (π↓) (π↓)0 π↓)0 π↓)0 π↓)0(εA	@ εA	@ ε↓	P ¬@i` ∧@ip(αA
⊂P)AHT ≠FDα⊂@@$`↓Sβ∧`∪αtXRbdX↓∧ 4X↓∧4P↓∧4P↓β`4P↓β@5P↓⊗ 5@↓U`58↓U@50↓U 5(↓UE α∀`U_α∀`E_α∀@U⊂αT@U⊂αT@U⊂αT@U_↓Q(C@πD∩∧α
`'↓ p &@a@_&a`_&B⊂%@b_%@b_%@b_%A↓` %AA@_&↓a⊂ &α ` &B@ ('βJP)αJp'↓@H&Ap@&↓↓ 8%A↓P(%A↓`(%↓↓p(%↓α %↓α %↓α %A↓p_%A↓` &↓↓P_&A↓0_'↓ p (β
08"Qπ⊃@∂λ"`Hβ∀!$xα↓@Dp↓B@4h↓C4`αβ4Xαβ DXαβ@4PαC@DPαC@DPαC@DPαC@TPαC@TPαC@TPαC@TXαβ dXαCd`αα`t`αB!∧hβ↓ @λαSAP⊂αSa0_α∀ p(α↔ E`α∪0hα∩`P`↓R`PXα∩`PX↓R`PP↓R`@P↓S@8α∪!Dx∧⊃(B@≠O!⊃ ¬J0⊂)j ⊂(ip_'iC %
i#0"Q¬∪8≡B!P≠∩Ft`~∪@4x↓T5⊂↓∀@5_↓∃$("
Fsh∧E¬0⊂;N`_;@O_<@o _%M	#8%MHT ∃MgPHε@&dP≠RfGP↓↑ 7@↓]`'0↓]@'(↓⊃(B`¬∧↓aHαA)P8&α	0 %@i _%i _%i _%@i0 &α	P8'A(T ⊗BBp@TPβRA∧xα∀5λ↓T 5λ↓T 5λ↓T4xα∩A∧PβR@T("CB∂ε`⊂⊂%↓	 0%α	 _AI _↓A) _αA) _β↓I _∧↓I _¬↓I _ε↓) _π↓) _πAI _λAI _	AI _
A	 _	AI _λAI _πAI _π↓) _ε↓) _¬↓I _∧↓I _β↓I _αA) _↓A) _AI @%↓I  %@HT ↔G∧↓p
F@&⊂α_ep∧↔`λ↓V`P_↓V P(↓U``0↓U `@↓T``P↓T@P`↓TPp↓S@`x↓Saλ↓R`Q_↓R@A(↓R`Q_↓Saλ↓S@`x↓TPp↓T@P`↓T``P↓U `@↓U``0↓V P(↓V`P_↓W`λ↓WAεβ_@F ↓⊃(CPββ@P(A	 0%↓I 0%↓I0 "Qπ08πC`Pλα∩@dPβ∩@tPβR`dx↓∪`$x↓∪@$p↓∪ $h↓∪$X↓∩`∀("∂∧Rh∩πD0λ5A
⊂03ALP01AL⊂0/AKP0-AK⊂0+AJP0)AJ⊂0'AIP0%↓i (%↓iP0'AJ⊂0)AJP0+AK⊂0-AKP0/AL⊂01ALP03AM⊂05A
Pλ"QπQ@∂DQ0↓↔`5x↓W@5p↓W 5h↓W5`↓W%X↓V`5P↓V@5H↓V 5@↓V5@↓U`58↓U@50↓U 5(↓U5 ↓U5_↓T`5⊂↓T@5λ↓T 5λ↓T5↓S`4x↓S@4p↓S 4h↓S 4`↓S4X↓R`4P↓R@4P↓⊃(Cp∩K$Ap@)  %↓I@0'↓J0)↓J@0+↓K0-↓K@0/↓L01↓L@03↓M85↓-83↓L@01↓L0/↓K@0-↓K0+↓J@0)↓J0'↓I@0%↓I  %@(T ∨FCq@β%0↓∃@%0↓∃@%(α∃ E(α∃ DPαA@@0αRA λα!$h
∪b¬λε∀a¬_∧∀A%⊂¬∀ P⊂αT @ α∀@0α∀0@↓S`0P↓S` `↓∪`⊂pQ(EXλEdb(I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%I ⊂%@08%@⊂X%βi  β↓I ⊂∧A) ⊂¬↓) ⊂¬↓) ⊂¬↓) ⊂¬↓) ⊂¬↓) ⊂¬↓) ⊂∧A) ⊂∧A) ⊂∧↓) ⊂∧↓) ⊂βA) ⊂βA	 ⊂β↓	 ⊂αA	 ⊂α↓	 ⊂↓A	 ⊂↓i 0%↓	 ⊂"Q@h
Kd@↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓α $P↓↓`DP↓↓tP↓A∀PεRATP∧@@$PβA$Pα↓`$P↓α $P↓α $P↓α $P↓α $P↓α $P↓α $P↓α $P↓α $P↓α $P↓α $P↓α $P↓α $P↓α $P↓α $P↓↓`DP↓↓tP↓A∀PεRATP∧@@$PβA$Pα↓`$P↓α %(↓∃ %(↓∃ %(↓∃ $("↔"⊃8↔λa@⊂+I`λβ@IP⊂β@IP⊂β@IP⊂β@IP⊂β@IP⊂β@IP⊂β@IP⊂β@@⊂⊂&@@p(&@@0H&CI@x%βi p%α 0⊂%↓ p⊂%@⊂⊂β@IP⊂β@IP⊂β@IP⊂β@IP⊂β@IP⊂β@IP⊂β@IP⊂β@IP⊂β@IP⊂β@IP⊂β@IP⊂β@IP⊂β@IP⊂β@@⊂⊂&@@p(&@@0H&CI@x%βi p%α 0⊂%↓ p⊂%@⊂⊂β@IP⊂β@IP⊂β@IP⊂β@IP⊂β@)P⊂&@HT /
gPX	#_↓∩@3λ↓R`2x↓SBXα∪@B8α∪`R_αTqhβTA!_¬∃∧58∞VBuxεQ(Ex≠O!a αk1 ,F*qh*H*0XπBj 8Aj0∂AIp(⊃A)` ∪A	P_∃@i@_⊗@i0_↔@i __@i ⊂→@H↑xπYMvp:→L⊗h4[∂∩!S)THwG6x2~-f89Xmε(6Y$¬ 2V∧εh0]
α4]⊗`4X⎇p`3≠mg 3_,6(1≡.F(y@≡@>≤k`¬~≥P∪B`P/ P/?␈x␈␈`∩∨␈x␈|`	>`⊗↓bhH↓P.⎇@∪P∧N≥Pβ+`{F`λU,`εh∨0↓Lx;a@
z≡` ↔@↓q`@↓`7⎇@S ∧∩?PβLp{↓F0λ∞≡0π+∨0βM@↓λ*Y@∞s≡`@→@αβ@y@↓p"⎇A∪0∧*V0βm@{αF0λ∞≡0πn?0¬Kpβ ⊂¬↑``∪@↓E(0αL⎇AR@β≤9P∧∀`{βD⊂¬*V0λ7?0πH PU,`⊃∂≡a∂↓_p α⊂:⎇B∩(αxr0∧,`{∧D ¬<:λk∨0	E`8*V@⊃y↑a ∩@↓<8∪α ∃⎇BRPβ.≥_∧I`{¬DP¬qd`	!∨0H`X≤; ∩e≡a@∩@↓<8∪α(x⎇C∩@β≤9P∧e`{εD ¬<:	W␈0
J h∃-@∪M↑a`∩@↓<8∪α8F⎇CR(αxr0∧|P{πE@π↓P
π?0∂Kpβ ∀=↑b⊗↓`ε@αH>⎇D∩`β@h¬$0{λD⊂¬*V0
X?0⊃I XcI@∃A↑b ≤α≡_PαXW⎇DR⊂α↑≥¬C⊂{	D⊂¬*V0∃?0∪K`x∞ ⊗<↑b@"α\8→@β !=E∀ ¬8s_εEh{
H@
qf0
∂∂0∃Q↓(cL`~$}b`@u(-β W=EQ8↓jUPεM_{DP¬qd`
∨∂0↔I XcI@~Z}c∩@↓<8∪β =F∩(αxr0ε	x{DP¬qd`~o0→I XcI@_G>c ∩@↓<8∪βλD=FR(αxr0ε∨λ{
DP¬qd`L/0≠I XcI@→9}c@∩@↓<8∪β_∨=G∩(αxr0ε;h{∞BpβU+ 
;o0≥E`8*V@~|>c`≠α∃(3β0=GR(αxr0εfH{∂F`λU,`
Zo0∨I XcI@≠I}d∀↓N_Mαh@⎇H∪ ∧∩?Pα_{⊂F πvπP∃∂0!L`↓≤<`J}d ~@α∂ XλW=HSβi _#({⊃E`π.y X/0#M@↓λ6
@↓N>d@~α	_⎇_e=I⊃`α→M_E({∩DP¬⎇∃ ↓∀∂0%M@↓λ⊃`α>}d`⊗↓bhH(H=ISp∧⎇∃_←λ{∪F@λ$␈ ↓↑∂0'M@↓λ*Y@βi}e_↓tP↓@@≠=J∪0∧*V0↓	x{∀F0λ→N`α+o0)J`qf@∧|>e →@αβ@y@P9=JS ∧∩?P↓.({∃F@λ$␈ αnO0+Q ↓0⊃∞@¬}}e@~α	_⎇`u=K∪ ∧∩?P↓Vh{⊗E@π↓Pβ;/0-G@HG⊂≠]↑e`∂↓_p β8z⎇KQpα1dπ	 {↔H@
qf0∞(␈0/Q↓(cL`≤]↑f
↓πλf@αp=L∩(αxr0↓eλ{_D⊂¬*V0βXo01H PU,`πO}f ∩@↓<8∪xF=LRλαU+_α↓X{→BpβU+ ∧
O03H PU,`λ9>f@∩@↓<8∪↓λ2=M⊃8↓jUPα∨_{~BpβU+ ∧J/05H PU,`	0>f`	@c@s↓_*=MSP∧N≥Pα;λ{≠Eε8s ¬∞∂07I XcI@
=}g∩@↓<8∪↓(/=N∩λαU+_α↑H{≤Cp∧u+P¬Lo09G@HG⊂/}g @}_I@↓8λ=NR8β
Vαv8{≥D⊂¬*V0¬⎇/0;K`x∞ ⊗}g@⊂@↓+0↓@}=O∩_αg∞hβ↔8{≡C`∧cHεA/0=E`8*V@↔'}g`@}_I@αpy=OR`β@h¬u({∨DP¬qd`o0?E`8*V@_λ␈⊂∞>__ow{⎇x